|
S
S, x, xii, 4, 5, 56, 63, 65, 67, 68, 86, 130, 134, 135, 183, 184, 185, 205, 209, 211, 216, 224, 226, 227, 267, 270, 310, 311, 312, 314, 320, 321, 349, 366, 369, 371, 373, 374, 376, 377, 388, 389, 390, 391, 392, 393, 397, 410, 411, 413, 431, 432, 438, 449, 451, 452, 453, 454, 456, 457, 463, 468, 476, 485, 486, 487, 489, 490, 491, 492, 493, 494, 496
SASL, 11, 43
Schapiro, 18, 368, 495
Scheme, 17, 18, 34, 43, 53, 61, 128, 141, 333, 336, 497
search, 6, 12, 46, 56, 69, 73, 87, 91, 94, 106, 127, 129, 130, 132, 141, 160, 250, 255, 256, 261, 312, 355, 357, 360, 361, 367, 375, 378, 382, 404, 405, 408, 438, 448, 451, 452, 455
SECD, 11, 316, 320, 321, 333, 335, 344
Seldin, 156, 170, 490
self-evaluating, 20, 21, 50, 51, 243, 432
semantic actions, 143, 145
semantic completion, 143, 146
semantic nets, 93, 94
semantically valid, 275
semantics, 412, 414, 434, 486
semi-abstract, 268, 271, 274
SEQUEL, 13, 14, 15, 16, 18, 485
sequent, 5, 7, 13, 14, 17, 158, 202, 211, 214, 215, 216, 217, 218, 220, 223, 224, 226, 230, 231, 234, 244, 245, 246, 247, 249, 251, 255, 263, 264, 278, 280, 281, 346, 347, 357, 369, 370, 372, 373, 374, 376, 382, 410, 411, 423, 424, 425, 426, 427, 428, 430, 431, 435, 436, 438, 439, 441, 443, 444, 445, 450, 481, 482, 496
sequent calculus, 211, 214, 215, 231, 346, 369, 481, 482
sequents rule, 423, 424, 425, 426, 427
SETL, 60, 494
s-expr, 172
Shen YACC, vi, viii, xii, 17, 142, 143, 144, 147, 148, 150, 151, 152, 153, 154, 155, 284, 460, 473, 474
side condition, 223, 280, 232, 233, 369, 374, 477
side-effect, 81, 466
signature, 204, 291, 434, 455, 457
Simon, 7, 8, 11, 495
simplification, 274, 275, 276
simply typed lambda calculus, 425, 431
sink, 99, 100, 101, 209, 466
SISAL, 32
Sloman, 1, 495
slots, 64, 65
small arrow, 204
SML, 1, 18, 213
Smullyan, 230, 495
SNOBOL, 11
sound, 1, 12, 135, 215, 216, 229
source, 14, 99, 100, 170, 443, 466, 468
spaghetti program, 196
special forms, 426
specialisation rule, 425
spreading, 78, 82
spreadsheet, 77, 78, 79, 82
square root, 2, 42, 70, 76
stack, 39, 124, 153, 177, 225, 260, 266, 320, 321, 384
standard ASCII, 62
standard input, 102, 470
standard library, 483
standard output, 99, 100, 470
standard vector, 88, 95, 96, 203
Staples, 141, 492
starved, 27
Steele, 98, 109, 336, 495
Sterling, 368, 495
Stickel, 368, 495
stream, 3, 10, 60, 79, 80, 99, 100, 101, 102, 201, 209, 460, 466, 468, 470
strict evaluation, 23, 25
strong normalisation, 425
strong portability, 211
strongly typed, 199, 213
structural rule, 220
structure, 8, 9, 43, 51, 60, 132, 133, 157, 221, 222
subgoal, 141, 224, 228, 438, 444
subject reduction, 432
subtype, 94, 257
succeedent, 216, 217, 220, 223, 226, 346, 347, 350, 352, 353, 354
super quantification, 312
surface syntax, 370
synonyms, 236, 237, 238, 463, 464, 467, 468
syntactically valid, 275
syntax, 25, 132, 156, 217, 222, 475, 486
synthetic, 219, 244
system functions, 22, 194, 412
|
|
